Static Livelock Analysis in CSP? Jo¨el Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell Department of Computer Science, Oxford University, UK {joel,hrip,awr,jbw}@cs.ox.ac.uk Abstract. In a process algebra

Source URL: www.cs.ox.ac.uk

Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

Source URL: www0.cs.ucl.ac.uk

Advanced Functional Programming for Fun and Profit Jos´e Pedro Magalh˜aes Department of Computer Science, University of Oxford http://dreixel.net

Source URL: staff.fnwi.uva.nl

Information Dynamics Samson Abramsky Department of Computer Science, Oxford University Samson Abramsky (Department of Computer Science, Oxford University) Information Dynamics

Source URL: events.inf.ed.ac.uk

Towards a Model of Information Healthcare for Household Data Security Ivan Flechais Department of Computer Science University of Oxford OX1 3QD, Oxford, UK

Source URL: cups.cs.cmu.edu

Description Logics: OWL and DAML+OIL Phillip Lord, Robert D. Stevens, Carole A. Goble, and Ian Horrocks Department of Computer Science University of Manchester, Oxford Road, Manchester

Source URL: homepages.cs.ncl.ac.uk

• Knowledge representation
• Knowledge engineering
• Ontology
• Information science
• Semantic Web
• Computing
• Knowledge
• Web Ontology Language
• Description logic
• Semantic reasoner
• Class
• Gene ontology

Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

Source URL: www0.cs.ucl.ac.uk

• Abstract interpretation
• Models of computation
• Parallel computing
• Petri net
• Software engineering
• Computing

Decision Problems for Linear Recurrence Sequences? Jo¨el Ouaknine Department of Computer Science, Oxford University, UK

Source URL: fct2013.csc.liv.ac.uk

• Mathematics
• Theoretical computer science
• Mathematical logic
• Fibonacci number
• LRS
• Algebraic geometry
• Thoralf Skolem
• Quantum computing

The Complexity of Computing the Solution Obtained by a Specific Algorithm Paul W. Goldberg Department of Computer Science University of Oxford, U. K.

Source URL: www.maths.lse.ac.uk

• Computational complexity theory
• Complexity classes
• Theory of computation
• PPAD
• Reduction
• LemkeHowson algorithm
• Algorithm
• NP
• PSPACE-complete
• P
• True quantified Boolean formula

Condensation | conditional density propagation for visual tracking Michael Isard and Andrew Blake, Department of Engineering Science, University of Oxford,

Source URL: www.cvg.ethz.ch

• Computer vision
• Condensation algorithm
• Probability distribution
• Pi
• Monte Carlo methods
• Robot control